home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 4 / Apprentice-Release4.iso / Languages / Caml Light 0.7 / examples / minicaml / types.mli < prev    next >
Text File  |  1995-06-01  |  791b  |  22 lines
  1. type type_simple and schéma_de_types;;
  2.  
  3. value type_int: type_simple
  4.   and type_bool: type_simple
  5.   and type_flèche: type_simple -> type_simple -> type_simple
  6.   and type_produit: type_simple -> type_simple -> type_simple
  7.   and type_liste: type_simple -> type_simple;;
  8.  
  9. value nouvelle_inconnue: unit -> type_simple
  10.   and unifie: type_simple -> type_simple -> unit
  11.   and généralisation: type_simple -> schéma_de_types
  12.   and spécialisation: schéma_de_types -> type_simple
  13.   and schéma_trivial: type_simple -> schéma_de_types
  14.   and début_de_définition: unit -> unit
  15.   and fin_de_définition: unit -> unit;;
  16.  
  17. exception Conflit of type_simple * type_simple
  18.       and Circularité of type_simple * type_simple;;
  19.  
  20. value imprime_type: type_simple -> unit
  21.   and imprime_schéma: schéma_de_types -> unit;;
  22.